Словарь по логике - типов теория
Связанные словари
Типов теория
система логики предикатов более высокого порядка, чем первый, включающая переменные различных уровней, типов (см.: Переменная) и ограничения на подстановку термов вместо переменных. В ней по меньшей мере имеются не только предметные переменные, но и переменные по множествам ( и соответствующим им предикатам), которые при этом относятся к различным типам. В частности, вместо предметных переменных запрещена подстановка предикатов и соответствующих им множеств, а вместо переменных по предикатам индивидов. Предложения, построение которых связано с нарушением указанных ограничений, часто рассматриваются как бессмысленные. Существуют различные варианты Т. т. Соблюдение ограничений в Т. т. способствует устранению некоторых парадоксов в логике и теории множеств.
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 1497 | |
2 | 1309 | |
3 | 1166 | |
4 | 1010 | |
5 | 767 | |
6 | 712 | |
7 | 687 | |
8 | 684 | |
9 | 656 | |
10 | 654 | |
11 | 614 | |
12 | 613 | |
13 | 573 | |
14 | 573 | |
15 | 562 | |
16 | 559 | |
17 | 555 | |
18 | 539 | |
19 | 537 | |
20 | 523 |